Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
241	The Winning Ways of Concurrent Games Pierre Clairambault, Julian Gutierrez, Glynn Winskel University of Cambridge Computer Laboratory Abstract—A bicategory of concurrent games, where nondeterministic strategies are for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-06 09:47:04 Theoretical computer science Models of computation Metalogic Determinacy Denotational semantics Structure Symbol Duality Mathematics Model theory Mathematical logic
242	ECSYM Part B1- Section 1d EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel —the next-generation semantics Section 1d: Extended Synopsis Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-02-08 06:55:17 Models of computation Programming language semantics Applied mathematics Concurrency Denotational semantics Power domains Semantics Operational semantics Petri net Theoretical computer science Computer science Logic in computer science
243	Models for Concurrency and Games Glynn Winskel The notion of deterministic/nondeterministic strategy is potentially as fundamental as the notion of function/relation. A broad enough notion of strategy must be planted fir Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 13:04:47 Computer science Logic in computer science Applied mathematics Denotational semantics Petri net Computation Theoretical computer science Concurrency Models of computation
244	ECSYM Part B2 EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-02-08 06:54:38 Applied mathematics Logic in computer science Programming language semantics Concurrency Denotational semantics Petri net Power domains Actor model Operational semantics Theoretical computer science Computer science Models of computation
245	Domain Theory for Concurrency —New Categorical Foundations EPSRC Research Grant Application Case for support Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-03-03 06:09:38 Logic Denotational semantics Semantics of programming languages Power domains Operational semantics Sheaf Π-calculus Concurrency Semantics Theoretical computer science Logic in computer science Mathematics
246	Relations in Concurrency Invited talk (corrected version) Glynn Winskel, University of Cambridge Computer Laboratory, England Abstract The theme of this paper is profunctors, and their centrality and ubiquity in understa Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-31 15:16:32 Sheaf theory Models of computation Functors Theoretical computer science Sheaf Initial and terminal objects Presheaf Direct image functor Denotational semantics Category theory Mathematics Abstract algebra
247	Event Structure Semantics For CCS and Related Languages Glynn Winskel April 1983∗ Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-05-03 12:31:31 Models of computation Probability theory Functions and mappings General topology Denotational semantics Function Net Independence Continuous function Mathematics Mathematical analysis Logic in computer science
248	MFPS[removed]On concurrent games with payoff Pierre Clairambault1,2 Computer Laboratory University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-08-20 11:09:38 Denotational semantics Logic in computer science Structure Determinacy Model theory Theoretical computer science Mathematics Mathematical logic
249	The marriage of effects and monads PHILIP WADLER Avaya Labs and PETER THIEMANN Universit¨at Freiburg, Germany Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:14 Symbol Software engineering Computing Programming language semantics Electronic design Denotational semantics Adjoint functors Functional programming Monad
250	For the ACS course Advanced Topics in Concurrency Event Structures, Stable Families and Concurrent Games Glynn Winskel [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 13:06:24 Computer science Applied mathematics Concurrency Denotational semantics Actor model Petri net Game semantics Domain theory Semantics Theoretical computer science Models of computation Logic in computer science

UPDATE